Reverse-Engineering Congestion Control Algorithm Behavior
Margarida Ferreira, Ranysha Ware, Yash Kothari, Inês Lynce, Ruben Martins, Akshay Narayan, Justine Sherry
IMC 2024
margarida@cmu.edu
Cambridge, MA, USA
I am a Computer Science PhD Student at Carnegie Mellon University and Instituto Superior Técnico, where I am fortunate to be advised by Professor Inês Lynce and Professor Ruben Martins. I am interested in formal methods and program synthesis, particularly in their application to complex networked systems. In my research, I explore the automatic synthesis of correct implementations of stateful programs based on noisy and/or incomplete execution traces.
- MSc. in Computer Science Research, 2024
Carnegie Mellon University - MSc. in Computer Science and Engineering, 2020
Instituto Superior Técnico, Universidade de Lisboa - BSc. in Computer Science and Engineering, 2018
Instituto Superior Técnico, Universidade de Lisboa